CARRON SHANKLAND: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Who will be the First to Get Gold?

Shankland, Carron

Journal:

Year:

2016

Language:

english

File:

PDF, 644 KB

english, 2016

2

Waning Immunity Is Associated with Periodic Large Outbreaks of Mumps: A Mathematical Modeling Study of Scottish Data

Hamami, Dalila, Cameron, Ross, Pollock, Kevin G., Shankland, Carron

Journal:

Frontiers in Physiology

Year:

2017

Language:

english

File:

PDF, 1.51 MB

english, 2017

3

From individuals to populations: A mean field semantics for process algebra

Chris McCaig, Rachel Norman, Carron Shankland

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 499 KB

english, 2011

4

A Symbolic Investigation of Superspreaders

Chris McCaig, Mike Begon, Rachel Norman, Carron Shankland

Journal:

Bulletin of Mathematical Biology

Year:

2011

Language:

english

File:

PDF, 717 KB

english, 2011

5

[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 3116 || Formalizing and Proving Semantic Relations between Specifications by Reflection

Rattray, Charles, Maharaj, Savitri, Shankland, Carron

Year:

2004

Language:

english

File:

PDF, 251 KB

english, 2004

6

Editorial

JOHN COOKE, SAVI MAHARAJ, JUDI ROMIJN, CARRON SHANKLAND

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 26 KB

english, 2003

7

Decision Support based on Bio-PEPA Modeling and Decision Tree Induction

Hamami, Dalila, Baghdad, Atmani, Shankland, Carron

Journal:

International Journal of Information Systems in the Service Sector

Year:

2017

Language:

english

File:

PDF, 1.81 MB

english, 2017

8

A case study in abstraction using E-LOTOS and the FireWire

Carron Shankland, Alberto Verdejo

Journal:

Computer Networks

Year:

2001

Language:

english

File:

PDF, 239 KB

english, 2001

9

[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 3116 || Algebraic Approaches to Problem Generalisation

Rattray, Charles, Maharaj, Savitri, Shankland, Carron

Year:

2004

Language:

english

File:

PDF, 47 KB

english, 2004

10

[ACM Press the fourteenth international conference - Philadelphia, Pennsylvania, USA (2012.07.07-2012.07.11)] Proceedings of the fourteenth international conference on Genetic and evolutionary computation conference - GECCO '12 - Evolving Bio-PEPA process algebra models using genetic programming

Marco, David, Shankland, Carron, Cairns, David

Year:

2012

Language:

english

File:

PDF, 499 KB

english, 2012

11

[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 3116 || State Space Reduction for Process Algebra Specifications

Rattray, Charles, Maharaj, Savitri, Shankland, Carron

Year:

2004

Language:

english

File:

PDF, 328 KB

english, 2004

12

But What if I Don't Want to Wait Forever?

Colin Fidge, Carron Shankland

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 145 KB

english, 2003

13

PEPAʼd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, Illustrated by a Pacific Oyster Case Study

Scott, Erin, Hoyle, Andrew, Shankland, Carron

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 1.03 MB

english, 2013

14

Improved Continuous Approximation of PEPA Models through Epidemiological Examples

Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 371 KB

english, 2009

15

Preface

Savi Maharaj, Carron Shankland, Charles Rattray

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 103 KB

english, 2006

16

Improving process algebra model structure and parameters in infectious disease epidemiology through data mining

Hamami, Dalila, Atmani, Baghdad, Cameron, Ross, Pollock, Kevin G, Shankland, Carron

Journal:

Journal of Intelligent Information Systems

Year:

2017

Language:

english

File:

PDF, 2.27 MB

english, 2017

17

[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 3116 || Modelling Concurrent Interactions

Rattray, Charles, Maharaj, Savitri, Shankland, Carron

Year:

2004

Language:

english

File:

PDF, 283 KB

english, 2004

18

From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology

Chris McCaig, Rachel Norman, Carron Shankland

Journal:

Mathematics in Computer Science

Year:

2009

Language:

english

File:

PDF, 535 KB

english, 2009

19

Using process algebra to develop predator–prey models of within-host parasite dynamics

McCaig, Chris, Fenton, Andy, Graham, Andrea, Shankland, Carron, Norman, Rachel

Journal:

Journal of Theoretical Biology

Year:

2013

Language:

english

File:

PDF, 596 KB

english, 2013

20

[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 3116 || Verifying a Sliding Window Protocol in μCRL

Rattray, Charles, Maharaj, Savitri, Shankland, Carron

Year:

2004

Language:

english

File:

PDF, 300 KB

english, 2004

21

The Tree Identify Protocol of IEEE 1394 in μCRL

Carron Shankland, Mark van der Zwaag

Journal:

Formal Aspects of Computing

Year:

1998

Language:

english

File:

PDF, 163 KB

english, 1998

22

A rigorous approach to investigating common assumptions about disease transmission

Chris McCaig, Mike Begon, Rachel Norman, Carron Shankland

Journal:

Theory in Biosciences

Year:

2011

Language:

english

File:

PDF, 471 KB

english, 2011

23

[IEEE 2011 IEEE Congress on Evolutionary Computation (CEC) - New Orleans, LA, USA (2011.06.5-2011.06.8)] 2011 IEEE Congress of Evolutionary Computation (CEC) - Optimisation of process algebra models using evolutionary computation

Marco, David, Cairns, David, Shankland, Carron

Year:

2011

Language:

english

File:

PDF, 311 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски